(m) Write a short textual comment labelled MODULARITY: explaining to what extent you are able to reuse parts of the code and verification effort/results between each of your different versions.